| 1. Identificação | |
| Tipo de Referência | Artigo em Revista Científica (Journal Article) |
| Site | marte3.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 6qtX3pFwXQZ3r59YCT/GUcNx |
| Repositório | sid.inpe.br/iris@1905/2005/07.28.21.46.31 (acesso restrito) |
| Última Atualização | 2017:04.20.19.31.38 (UTC) marciana |
| Repositório de Metadados | sid.inpe.br/iris@1905/2005/07.28.21.46.34 |
| Última Atualização dos Metadados | 2021:02.11.21.05.00 (UTC) administrator |
| Chave Secundária | INPE-9174-PRE/4847 |
| ISSN | 0963-9314 |
| Rótulo | 3123 |
| Chave de Citação | MartinsSabiAmbr:1999:ToAuSp |
| Título | ConData: A tool for automating specification-based test case generation for communication systems  |
| Ano | 1999 |
| Mês | Dec. |
| Data de Acesso | 07 maio 2024 |
| Tipo Secundário | PRE PI |
| Número de Arquivos | 1 |
| Tamanho | 163 KiB |
| 2. Contextualização | |
| Autor | 1 Martins, E 2 Sabiao, SB 3 Ambrosio, AM |
| Grupo | 1 DSS-INPE-MCT-BR |
| Revista | Software Quality Journal |
| Volume | 8 |
| Número | 4 |
| Páginas | 303-319 |
| Histórico (UTC) | 2014-09-29 15:13:28 :: administrator -> marciana :: 1999 2017-04-20 19:31:39 :: marciana -> administrator :: 1999 2021-02-11 21:05:00 :: administrator -> marciana :: 1999 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Tipo de Versão | publisher |
| Palavras-Chave | communications protocol testing EFSM-based testing logic programming |
| Resumo | This paper describes a tool called ConData used as test generation for communication protocols specified as extended finite state machines. The strategy for test generation combines different specification-based test methods: (i) transition testing for the control part of a protocol and (ii) syntax and equivalence partitioning for the data part. The tool uses a representation of the protocol in PSL (Protocol Specification Language), which is transformed into a format readable by a Prolog program. This implements the test strategies mentioned above. The text also presents some results obtained in the test generation for the protocol of the Tele-command Communication System of the SACI-1 satellite. |
| Área | ETES |
| Arranjo | urlib.net > Produção anterior à 2021 > DIDSS > ConData: A tool... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| Idioma | en |
| Arquivo Alvo | martins_condata.pdf |
| Grupo de Usuários | administrator |
| Grupo de Leitores | administrator marciana |
| Visibilidade | shown |
| Política de Arquivamento | denypublisher denyfinaldraft12 |
| Permissão de Leitura | deny from all and allow from 150.163 |
| Permissão de Atualização | não transferida |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 2 |
| Divulgação | WEBSCI; PORTALCAPES. |
| Acervo Hospedeiro | sid.inpe.br/banon/2001/04.03.15.36 |
| 6. Notas | |
| Campos Vazios | affiliation alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress electronicmailaddress format isbn lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |